" Gordon Plotkin" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)

Gordon Plotkin, Colin Stirling, Mads Tofte

Категория: Языкознание

83.06 Mb

#2

Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)

Gordon Plotkin, Colin Stirling, Mads Tofte

9.93 Mb

#3

Logical frameworks

Gèrard Huet, Gordon Plotkin

4.28 Mb

#4

Typed Lambda Calculi and Applications, TLCA '95 2 conf

Mariangiola Dezani-Ciancaglini, Gordon Plotkin

Категория: Cs_Computer science, CsLn_Lecture notes

3.54 Mb

#5

Transactions on Computational Systems Biology 6 conf

Gordon Plotkin, Corrado Priami

Категория: CsLn_

4.42 Mb

#6

From Semantics to Computer Science: Essays in Honour of Gilles Kahn

Yves Bertot, Gérard Huet, Jean-Jacques Lévy, Gordon Plotkin

4.04 Mb